// system.h 
//	All global variables used in Nachos are defined here.
//
// Copyright (c) 1992-1993 The Regents of the University of California.
// All rights reserved.  See copyright.h for copyright notice and limitation 
// of liability and disclaimer of warranty provisions.

#ifndef SYSTEM_H
#define SYSTEM_H

#include "copyright.h"
#include "utility.h"
#include "thread.h"
#include "scheduler.h"
#include "interrupt.h"
#include "stats.h"
#include "timer.h"
#include "synch.h"

// Initialization and cleanup routines
extern void Initialize(int argc, char **argv); 	// Initialization,
						// called before anything else
extern void Cleanup();				// Cleanup, called when
						// Nachos is done.

extern Thread *currentThread;			// the thread holding the CPU
extern Thread *threadToBeDestroyed;  		// the thread that just finished
extern Scheduler *scheduler;			// the ready list
extern Interrupt *interrupt;			// interrupt status
extern Statistics *stats;			// performance metrics
extern Timer *timer;				// the hardware alarm clock


extern Lock *PageTableLock;
extern int nextLockIndex;
extern Lock *KernelLockTableLock;
extern int MAX_LOCKS;

extern int tlbCounter;
extern OpenFile* swapFile;  

extern int numProcesses;
// FIFO code
extern int fifo[];
extern int fifoCounter;

extern int swapCounter;

extern Lock *mailboxLock;
extern int nextMailbox;

extern NewTranslationEntry *ipt;

struct KernelLock {
  Lock* lock;
  AddrSpace* as;
  int usageCounter;
  bool toBeDestroyed;
};

extern int sys_passNumber;
extern int sys_alNumber;
extern int al_lines[];


extern KernelLock osLocks[];

extern BitMap* bitmap;

extern int nextCondIndex;
extern Lock *KernelCondTableLock;
extern int MAX_CONDS;

struct KernelCond {
  Condition *condition;
  int usageCounter;
  bool toBeDestroyed;
  AddrSpace* as;
};

extern KernelCond osConds[];

extern ProcessTable *processTable;


#ifdef USER_PROGRAM
#include "machine.h"
extern Machine* machine;	// user program memory and registers
#endif

#ifdef FILESYS_NEEDED 		// FILESYS or FILESYS_STUB 
#include "filesys.h"
extern FileSystem  *fileSystem;
#endif

#ifdef FILESYS
#include "synchdisk.h"
extern SynchDisk   *synchDisk;
#endif

#ifdef NETWORK
#include "post.h"
extern PostOffice* postOffice;
#endif

#endif // SYSTEM_H
